k = 5 != 7 or 6 != 5
